BPMN to BPEL case study solution in VIATRA2

Automated model transformations play an important role in modern model-driven system engineering in order to query, derive and manipulate large, industrial models. Since such transformations are frequently integrated to design environments, they need to provide short reaction time to support software engineers. Graph transformation (GT) [1] based tools have been frequently used for specifying and executing complex model transformations. In GT tools, graph patterns capture structural conditions and type constraints in a compact visual way. At execution time, these conditions need to be evaluated by graph pattern matching, which aims to retrieve one or all matches of a given pattern to execute a transformation rule. The objective of the VIATRA2 (VIsual Automated model TRAnsformations [2]) is to support the entire life-cycle, i.e. the specification, design, execution, validation and maintenance of model transformations defined by a combination Abstract State Machine (ASM) and graph transformation rule.